Instance Verification Kit (IVK)

mutex lock @ [1246+26+/linux-3.18-rc1/drivers/clk/clk.c]
Instance Signature: prepare_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__clk_init [43610+10+/linux-3.18-rc1/drivers/clk/clk.c]
__clk_put [55913+9+/linux-3.18-rc1/drivers/clk/clk.c]
clk_disable_unused [11395+18+/linux-3.18-rc1/drivers/clk/clk.c]
clk_dump [4730+8+/linux-3.18-rc1/drivers/clk/clk.c]
clk_dump_one [4024+12+/linux-3.18-rc1/drivers/clk/clk.c]
clk_dump_subtree [4436+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_accuracy [24395+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_parent [37939+14+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_phase [43177+13+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_rate [26177+12+/linux-3.18-rc1/drivers/clk/clk.c]
clk_notifier_register [57109+21+/linux-3.18-rc1/drivers/clk/clk.c]
clk_notifier_unregister [58273+23+/linux-3.18-rc1/drivers/clk/clk.c]
clk_prepare [18525+11+/linux-3.18-rc1/drivers/clk/clk.c]
clk_prepare_lock [1111+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_prepare_unlock [1412+18+/linux-3.18-rc1/drivers/clk/clk.c]
clk_round_rate [22096+14+/linux-3.18-rc1/drivers/clk/clk.c]
clk_set_parent [40374+14+/linux-3.18-rc1/drivers/clk/clk.c]
clk_set_phase [42612+13+/linux-3.18-rc1/drivers/clk/clk.c]
clk_set_rate [36835+12+/linux-3.18-rc1/drivers/clk/clk.c]
clk_summary_show [3198+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_summary_show_one [2605+20+/linux-3.18-rc1/drivers/clk/clk.c]
clk_summary_show_subtree [2920+24+/linux-3.18-rc1/drivers/clk/clk.c]
clk_unprepare [17416+13+/linux-3.18-rc1/drivers/clk/clk.c]
clk_unregister [53388+14+/linux-3.18-rc1/drivers/clk/clk.c]